<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"><html xmlns="http://www.w3.org/1999/xhtml"><head><link rel="stylesheet" type="text/css" href="style.css" /><script type="text/javascript" src="highlight.js"></script></head><body><pre><span class="hs-pragma">{-# LANGUAGE StandaloneDeriving, DeriveGeneric #-}</span><span>
</span><span id="line-2"></span><span class="hs-keyword">module</span><span> </span><span class="hs-identifier">SizedSeq</span><span>
</span><span id="line-3"></span><span>  </span><span class="hs-special">(</span><span> </span><span class="annot"><a href="SizedSeq.html#SizedSeq"><span class="hs-identifier">SizedSeq</span></a></span><span class="hs-special">(</span><span class="hs-glyph">..</span><span class="hs-special">)</span><span>
</span><span id="line-4"></span><span>  </span><span class="hs-special">,</span><span> </span><span class="annot"><a href="SizedSeq.html#emptySS"><span class="hs-identifier">emptySS</span></a></span><span>
</span><span id="line-5"></span><span>  </span><span class="hs-special">,</span><span> </span><span class="annot"><a href="SizedSeq.html#addToSS"><span class="hs-identifier">addToSS</span></a></span><span>
</span><span id="line-6"></span><span>  </span><span class="hs-special">,</span><span> </span><span class="annot"><a href="SizedSeq.html#addListToSS"><span class="hs-identifier">addListToSS</span></a></span><span>
</span><span id="line-7"></span><span>  </span><span class="hs-special">,</span><span> </span><span class="annot"><a href="SizedSeq.html#ssElts"><span class="hs-identifier">ssElts</span></a></span><span>
</span><span id="line-8"></span><span>  </span><span class="hs-special">,</span><span> </span><span class="annot"><a href="SizedSeq.html#sizeSS"><span class="hs-identifier">sizeSS</span></a></span><span>
</span><span id="line-9"></span><span>  </span><span class="hs-special">)</span><span> </span><span class="hs-keyword">where</span><span>
</span><span id="line-10"></span><span>
</span><span id="line-11"></span><span class="hs-keyword">import</span><span> </span><span class="annot"><a href="../../base/src/Prelude.html#"><span class="hs-identifier">Prelude</span></a></span><span> </span><span class="hs-comment">-- See note [Why do we import Prelude here?]</span><span>
</span><span id="line-12"></span><span class="hs-keyword">import</span><span> </span><span class="annot"><a href="../../deepseq/src/Control.DeepSeq.html#"><span class="hs-identifier">Control.DeepSeq</span></a></span><span>
</span><span id="line-13"></span><span class="hs-keyword">import</span><span> </span><span class="annot"><a href="../../binary/src/Data.Binary.html#"><span class="hs-identifier">Data.Binary</span></a></span><span>
</span><span id="line-14"></span><span class="hs-keyword">import</span><span> </span><span class="annot"><a href="../../base/src/Data.List.html#"><span class="hs-identifier">Data.List</span></a></span><span>
</span><span id="line-15"></span><span class="hs-keyword">import</span><span> </span><span class="annot"><a href="../../base/src/GHC.Generics.html#"><span class="hs-identifier">GHC.Generics</span></a></span><span>
</span><span id="line-16"></span><span>
</span><span id="line-17"></span><span id="local-6989586621679096058"><span id="local-6989586621679096059"></span></span><span class="hs-keyword">data</span><span> </span><span id="SizedSeq"><span class="annot"><a href="SizedSeq.html#SizedSeq"><span class="hs-identifier hs-var">SizedSeq</span></a></span></span><span> </span><span id="local-6989586621679096222"><span class="annot"><a href="#local-6989586621679096222"><span class="hs-identifier hs-type">a</span></a></span></span><span> </span><span class="hs-glyph">=</span><span> </span><span id="SizedSeq"><span class="annot"><a href="SizedSeq.html#SizedSeq"><span class="hs-identifier hs-var">SizedSeq</span></a></span></span><span> </span><span class="hs-pragma">{-# UNPACK</span><span> </span><span class="hs-pragma">#-}</span><span> </span><span class="hs-glyph">!</span><span class="annot"><span class="hs-identifier hs-type">Word</span></span><span> </span><span class="hs-special">[</span><span class="annot"><a href="#local-6989586621679096222"><span class="hs-identifier hs-type">a</span></a></span><span class="hs-special">]</span><span>
</span><span id="line-18"></span><span>  </span><span class="hs-keyword">deriving</span><span> </span><span class="hs-special">(</span><span class="annot"><span class="annottext">(forall x. SizedSeq a -&gt; Rep (SizedSeq a) x)
-&gt; (forall x. Rep (SizedSeq a) x -&gt; SizedSeq a)
-&gt; Generic (SizedSeq a)
forall x. Rep (SizedSeq a) x -&gt; SizedSeq a
forall x. SizedSeq a -&gt; Rep (SizedSeq a) x
forall a.
(forall x. a -&gt; Rep a x) -&gt; (forall x. Rep a x -&gt; a) -&gt; Generic a
forall a x. Rep (SizedSeq a) x -&gt; SizedSeq a
forall a x. SizedSeq a -&gt; Rep (SizedSeq a) x
$cto :: forall a x. Rep (SizedSeq a) x -&gt; SizedSeq a
$cfrom :: forall a x. SizedSeq a -&gt; Rep (SizedSeq a) x
</span><a href="../../base/src/GHC.Generics.html#Generic"><span class="hs-identifier hs-var hs-var hs-var hs-var">Generic</span></a></span><span class="hs-special">,</span><span> </span><span id="local-6989586621679096042"><span id="local-6989586621679096044"><span id="local-6989586621679096052"><span class="annot"><span class="annottext">Int -&gt; SizedSeq a -&gt; ShowS
[SizedSeq a] -&gt; ShowS
SizedSeq a -&gt; String
(Int -&gt; SizedSeq a -&gt; ShowS)
-&gt; (SizedSeq a -&gt; String)
-&gt; ([SizedSeq a] -&gt; ShowS)
-&gt; Show (SizedSeq a)
forall a. Show a =&gt; Int -&gt; SizedSeq a -&gt; ShowS
forall a. Show a =&gt; [SizedSeq a] -&gt; ShowS
forall a. Show a =&gt; SizedSeq a -&gt; String
forall a.
(Int -&gt; a -&gt; ShowS) -&gt; (a -&gt; String) -&gt; ([a] -&gt; ShowS) -&gt; Show a
showList :: [SizedSeq a] -&gt; ShowS
$cshowList :: forall a. Show a =&gt; [SizedSeq a] -&gt; ShowS
show :: SizedSeq a -&gt; String
$cshow :: forall a. Show a =&gt; SizedSeq a -&gt; String
showsPrec :: Int -&gt; SizedSeq a -&gt; ShowS
$cshowsPrec :: forall a. Show a =&gt; Int -&gt; SizedSeq a -&gt; ShowS
</span><a href="../../base/src/GHC.Show.html#Show"><span class="hs-identifier hs-var hs-var hs-var hs-var hs-var hs-var hs-var hs-var">Show</span></a></span></span></span></span><span class="hs-special">)</span><span>
</span><span id="line-19"></span><span>
</span><span id="line-20"></span><span class="hs-keyword">instance</span><span> </span><span id="local-6989586621679096038"><span class="annot"><a href="../../base/src/GHC.Base.html#Functor"><span class="hs-identifier hs-type">Functor</span></a></span><span> </span><span class="annot"><a href="SizedSeq.html#SizedSeq"><span class="hs-identifier hs-type">SizedSeq</span></a></span></span><span> </span><span class="hs-keyword">where</span><span>
</span><span id="line-21"></span><span>  </span><span id="local-6989586621679096034"><span class="annot"><span class="annottext">fmap :: forall a b. (a -&gt; b) -&gt; SizedSeq a -&gt; SizedSeq b
</span><a href="../../base/src/GHC.Base.html#fmap"><span class="hs-identifier hs-var hs-var hs-var hs-var">fmap</span></a></span></span><span> </span><span id="local-6989586621679096033"><span class="annot"><span class="annottext">a -&gt; b
</span><a href="#local-6989586621679096033"><span class="hs-identifier hs-var">f</span></a></span></span><span> </span><span class="hs-special">(</span><span class="annot"><a href="SizedSeq.html#SizedSeq"><span class="hs-identifier hs-type">SizedSeq</span></a></span><span> </span><span id="local-6989586621679096032"><span class="annot"><span class="annottext">Word
</span><a href="#local-6989586621679096032"><span class="hs-identifier hs-var">sz</span></a></span></span><span> </span><span id="local-6989586621679096031"><span class="annot"><span class="annottext">[a]
</span><a href="#local-6989586621679096031"><span class="hs-identifier hs-var">l</span></a></span></span><span class="hs-special">)</span><span> </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">Word -&gt; [b] -&gt; SizedSeq b
forall a. Word -&gt; [a] -&gt; SizedSeq a
</span><a href="SizedSeq.html#SizedSeq"><span class="hs-identifier hs-var">SizedSeq</span></a></span><span> </span><span class="annot"><span class="annottext">Word
</span><a href="#local-6989586621679096032"><span class="hs-identifier hs-var">sz</span></a></span><span> </span><span class="hs-special">(</span><span class="annot"><span class="annottext">(a -&gt; b) -&gt; [a] -&gt; [b]
forall (f :: * -&gt; *) a b. Functor f =&gt; (a -&gt; b) -&gt; f a -&gt; f b
</span><a href="../../base/src/GHC.Base.html#fmap"><span class="hs-identifier hs-var">fmap</span></a></span><span> </span><span class="annot"><span class="annottext">a -&gt; b
</span><a href="#local-6989586621679096033"><span class="hs-identifier hs-var">f</span></a></span><span> </span><span class="annot"><span class="annottext">[a]
</span><a href="#local-6989586621679096031"><span class="hs-identifier hs-var">l</span></a></span><span class="hs-special">)</span><span>
</span><span id="line-22"></span><span>
</span><span id="line-23"></span><span class="hs-keyword">instance</span><span> </span><span id="local-6989586621679095998"><span id="local-6989586621679096000"><span id="local-6989586621679096002"><span id="local-6989586621679096004"><span id="local-6989586621679096006"><span id="local-6989586621679096008"><span id="local-6989586621679096010"><span id="local-6989586621679096012"><span id="local-6989586621679096014"><span id="local-6989586621679096016"><span id="local-6989586621679096018"><span id="local-6989586621679096020"><span id="local-6989586621679096022"><span id="local-6989586621679096025"><span id="local-6989586621679096027"><span id="local-6989586621679096029"><span class="annot"><a href="../../base/src/Data.Foldable.html#Foldable"><span class="hs-identifier hs-type">Foldable</span></a></span><span> </span><span class="annot"><a href="SizedSeq.html#SizedSeq"><span class="hs-identifier hs-type">SizedSeq</span></a></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span><span> </span><span class="hs-keyword">where</span><span>
</span><span id="line-24"></span><span>  </span><span id="local-6989586621679095994"><span class="annot"><span class="annottext">foldr :: forall a b. (a -&gt; b -&gt; b) -&gt; b -&gt; SizedSeq a -&gt; b
</span><a href="../../base/src/Data.Foldable.html#foldr"><span class="hs-identifier hs-var hs-var hs-var hs-var">foldr</span></a></span></span><span> </span><span id="local-6989586621679095992"><span class="annot"><span class="annottext">a -&gt; b -&gt; b
</span><a href="#local-6989586621679095992"><span class="hs-identifier hs-var">f</span></a></span></span><span> </span><span id="local-6989586621679095991"><span class="annot"><span class="annottext">b
</span><a href="#local-6989586621679095991"><span class="hs-identifier hs-var">c</span></a></span></span><span> </span><span id="local-6989586621679095990"><span class="annot"><span class="annottext">SizedSeq a
</span><a href="#local-6989586621679095990"><span class="hs-identifier hs-var">ss</span></a></span></span><span> </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">(a -&gt; b -&gt; b) -&gt; b -&gt; [a] -&gt; b
forall (t :: * -&gt; *) a b.
Foldable t =&gt;
(a -&gt; b -&gt; b) -&gt; b -&gt; t a -&gt; b
</span><a href="../../base/src/Data.Foldable.html#foldr"><span class="hs-identifier hs-var">foldr</span></a></span><span> </span><span class="annot"><span class="annottext">a -&gt; b -&gt; b
</span><a href="#local-6989586621679095992"><span class="hs-identifier hs-var">f</span></a></span><span> </span><span class="annot"><span class="annottext">b
</span><a href="#local-6989586621679095991"><span class="hs-identifier hs-var">c</span></a></span><span> </span><span class="hs-special">(</span><span class="annot"><span class="annottext">SizedSeq a -&gt; [a]
forall a. SizedSeq a -&gt; [a]
</span><a href="SizedSeq.html#ssElts"><span class="hs-identifier hs-var">ssElts</span></a></span><span> </span><span class="annot"><span class="annottext">SizedSeq a
</span><a href="#local-6989586621679095990"><span class="hs-identifier hs-var">ss</span></a></span><span class="hs-special">)</span><span>
</span><span id="line-25"></span><span>
</span><span id="line-26"></span><span class="hs-keyword">instance</span><span> </span><span id="local-6989586621679095979"><span id="local-6989586621679095981"><span id="local-6989586621679095983"><span class="annot"><a href="../../base/src/Data.Traversable.html#Traversable"><span class="hs-identifier hs-type">Traversable</span></a></span><span> </span><span class="annot"><a href="SizedSeq.html#SizedSeq"><span class="hs-identifier hs-type">SizedSeq</span></a></span></span></span></span><span> </span><span class="hs-keyword">where</span><span>
</span><span id="line-27"></span><span>  </span><span id="local-6989586621679095970"><span class="annot"><span class="annottext">traverse :: forall (f :: * -&gt; *) a b.
Applicative f =&gt;
(a -&gt; f b) -&gt; SizedSeq a -&gt; f (SizedSeq b)
</span><a href="../../base/src/Data.Traversable.html#traverse"><span class="hs-identifier hs-var hs-var hs-var hs-var">traverse</span></a></span></span><span> </span><span id="local-6989586621679095968"><span class="annot"><span class="annottext">a -&gt; f b
</span><a href="#local-6989586621679095968"><span class="hs-identifier hs-var">f</span></a></span></span><span> </span><span class="hs-special">(</span><span class="annot"><a href="SizedSeq.html#SizedSeq"><span class="hs-identifier hs-type">SizedSeq</span></a></span><span> </span><span id="local-6989586621679095967"><span class="annot"><span class="annottext">Word
</span><a href="#local-6989586621679095967"><span class="hs-identifier hs-var">sz</span></a></span></span><span> </span><span id="local-6989586621679095966"><span class="annot"><span class="annottext">[a]
</span><a href="#local-6989586621679095966"><span class="hs-identifier hs-var">l</span></a></span></span><span class="hs-special">)</span><span> </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">Word -&gt; [b] -&gt; SizedSeq b
forall a. Word -&gt; [a] -&gt; SizedSeq a
</span><a href="SizedSeq.html#SizedSeq"><span class="hs-identifier hs-var">SizedSeq</span></a></span><span> </span><span class="annot"><span class="annottext">Word
</span><a href="#local-6989586621679095967"><span class="hs-identifier hs-var">sz</span></a></span><span> </span><span class="annot"><span class="annottext">([b] -&gt; SizedSeq b) -&gt; ([b] -&gt; [b]) -&gt; [b] -&gt; SizedSeq b
forall b c a. (b -&gt; c) -&gt; (a -&gt; b) -&gt; a -&gt; c
</span><a href="../../base/src/GHC.Base.html#."><span class="hs-operator hs-var">.</span></a></span><span> </span><span class="annot"><span class="annottext">[b] -&gt; [b]
forall a. [a] -&gt; [a]
</span><a href="../../base/src/GHC.List.html#reverse"><span class="hs-identifier hs-var">reverse</span></a></span><span> </span><span class="annot"><span class="annottext">([b] -&gt; SizedSeq b) -&gt; f [b] -&gt; f (SizedSeq b)
forall (f :: * -&gt; *) a b. Functor f =&gt; (a -&gt; b) -&gt; f a -&gt; f b
</span><a href="../../base/src/Data.Functor.html#%3C%24%3E"><span class="hs-operator hs-var">&lt;$&gt;</span></a></span><span> </span><span class="annot"><span class="annottext">(a -&gt; f b) -&gt; [a] -&gt; f [b]
forall (t :: * -&gt; *) (f :: * -&gt; *) a b.
(Traversable t, Applicative f) =&gt;
(a -&gt; f b) -&gt; t a -&gt; f (t b)
</span><a href="../../base/src/Data.Traversable.html#traverse"><span class="hs-identifier hs-var">traverse</span></a></span><span> </span><span class="annot"><span class="annottext">a -&gt; f b
</span><a href="#local-6989586621679095968"><span class="hs-identifier hs-var">f</span></a></span><span> </span><span class="hs-special">(</span><span class="annot"><span class="annottext">[a] -&gt; [a]
forall a. [a] -&gt; [a]
</span><a href="../../base/src/GHC.List.html#reverse"><span class="hs-identifier hs-var">reverse</span></a></span><span> </span><span class="annot"><span class="annottext">[a]
</span><a href="#local-6989586621679095966"><span class="hs-identifier hs-var">l</span></a></span><span class="hs-special">)</span><span>
</span><span id="line-28"></span><span>
</span><span id="line-29"></span><span id="local-6989586621679096169"><span class="hs-keyword">instance</span><span> </span><span id="local-6989586621679095957"><span id="local-6989586621679095959"><span id="local-6989586621679095961"><span class="annot"><a href="../../binary/src/Data.Binary.Class.html#Binary"><span class="hs-identifier hs-type">Binary</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679096169"><span class="hs-identifier hs-type">a</span></a></span><span> </span><span class="hs-glyph">=&gt;</span><span> </span><span class="annot"><a href="../../binary/src/Data.Binary.Class.html#Binary"><span class="hs-identifier hs-type">Binary</span></a></span><span> </span><span class="hs-special">(</span><span class="annot"><a href="SizedSeq.html#SizedSeq"><span class="hs-identifier hs-type">SizedSeq</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679096169"><span class="hs-identifier hs-type">a</span></a></span><span class="hs-special">)</span></span></span></span></span><span>
</span><span id="line-30"></span><span>
</span><span id="line-31"></span><span id="local-6989586621679096165"><span class="hs-keyword">instance</span><span> </span><span class="annot"><a href="../../deepseq/src/Control.DeepSeq.html#NFData"><span class="hs-identifier hs-type">NFData</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679096165"><span class="hs-identifier hs-type">a</span></a></span><span> </span><span class="hs-glyph">=&gt;</span><span> </span><span class="annot"><a href="../../deepseq/src/Control.DeepSeq.html#NFData"><span class="hs-identifier hs-type">NFData</span></a></span><span> </span><span class="hs-special">(</span><span class="annot"><a href="SizedSeq.html#SizedSeq"><span class="hs-identifier hs-type">SizedSeq</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679096165"><span class="hs-identifier hs-type">a</span></a></span><span class="hs-special">)</span><span> </span><span class="hs-keyword">where</span><span>
</span><span id="line-32"></span><span>  </span><span id="local-6989586621679095949"><span class="annot"><span class="annottext">rnf :: SizedSeq a -&gt; ()
</span><a href="../../deepseq/src/Control.DeepSeq.html#rnf"><span class="hs-identifier hs-var hs-var hs-var hs-var">rnf</span></a></span></span><span> </span><span class="hs-special">(</span><span class="annot"><a href="SizedSeq.html#SizedSeq"><span class="hs-identifier hs-type">SizedSeq</span></a></span><span> </span><span class="annot"><span class="annottext">Word
</span><span class="hs-identifier">_</span></span><span> </span><span id="local-6989586621679095947"><span class="annot"><span class="annottext">[a]
</span><a href="#local-6989586621679095947"><span class="hs-identifier hs-var">xs</span></a></span></span><span class="hs-special">)</span><span> </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">[a] -&gt; ()
forall a. NFData a =&gt; a -&gt; ()
</span><a href="../../deepseq/src/Control.DeepSeq.html#rnf"><span class="hs-identifier hs-var">rnf</span></a></span><span> </span><span class="annot"><span class="annottext">[a]
</span><a href="#local-6989586621679095947"><span class="hs-identifier hs-var">xs</span></a></span></span><span>
</span><span id="line-33"></span><span>
</span><span id="line-34"></span><span id="local-6989586621679096163"><span class="annot"><a href="SizedSeq.html#emptySS"><span class="hs-identifier hs-type">emptySS</span></a></span><span> </span><span class="hs-glyph">::</span><span> </span><span class="annot"><a href="SizedSeq.html#SizedSeq"><span class="hs-identifier hs-type">SizedSeq</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679096163"><span class="hs-identifier hs-type">a</span></a></span></span><span>
</span><span id="line-35"></span><span id="emptySS"><span class="annot"><span class="annottext">emptySS :: forall a. SizedSeq a
</span><a href="SizedSeq.html#emptySS"><span class="hs-identifier hs-var hs-var">emptySS</span></a></span></span><span> </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">Word -&gt; [a] -&gt; SizedSeq a
forall a. Word -&gt; [a] -&gt; SizedSeq a
</span><a href="SizedSeq.html#SizedSeq"><span class="hs-identifier hs-var">SizedSeq</span></a></span><span> </span><span class="annot"><span class="annottext">Word
</span><span class="hs-number">0</span></span><span> </span><span class="hs-special">[</span><span class="hs-special">]</span><span>
</span><span id="line-36"></span><span>
</span><span id="line-37"></span><span id="local-6989586621679096160"><span class="annot"><a href="SizedSeq.html#addToSS"><span class="hs-identifier hs-type">addToSS</span></a></span><span> </span><span class="hs-glyph">::</span><span> </span><span class="annot"><a href="SizedSeq.html#SizedSeq"><span class="hs-identifier hs-type">SizedSeq</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679096160"><span class="hs-identifier hs-type">a</span></a></span><span> </span><span class="hs-glyph">-&gt;</span><span> </span><span class="annot"><a href="#local-6989586621679096160"><span class="hs-identifier hs-type">a</span></a></span><span> </span><span class="hs-glyph">-&gt;</span><span> </span><span class="annot"><a href="SizedSeq.html#SizedSeq"><span class="hs-identifier hs-type">SizedSeq</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679096160"><span class="hs-identifier hs-type">a</span></a></span></span><span>
</span><span id="line-38"></span><span id="addToSS"><span class="annot"><span class="annottext">addToSS :: forall a. SizedSeq a -&gt; a -&gt; SizedSeq a
</span><a href="SizedSeq.html#addToSS"><span class="hs-identifier hs-var hs-var">addToSS</span></a></span></span><span> </span><span class="hs-special">(</span><span class="annot"><a href="SizedSeq.html#SizedSeq"><span class="hs-identifier hs-type">SizedSeq</span></a></span><span> </span><span id="local-6989586621679095943"><span class="annot"><span class="annottext">Word
</span><a href="#local-6989586621679095943"><span class="hs-identifier hs-var">n</span></a></span></span><span> </span><span id="local-6989586621679095942"><span class="annot"><span class="annottext">[a]
</span><a href="#local-6989586621679095942"><span class="hs-identifier hs-var">r_xs</span></a></span></span><span class="hs-special">)</span><span> </span><span id="local-6989586621679095941"><span class="annot"><span class="annottext">a
</span><a href="#local-6989586621679095941"><span class="hs-identifier hs-var">x</span></a></span></span><span> </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">Word -&gt; [a] -&gt; SizedSeq a
forall a. Word -&gt; [a] -&gt; SizedSeq a
</span><a href="SizedSeq.html#SizedSeq"><span class="hs-identifier hs-var">SizedSeq</span></a></span><span> </span><span class="hs-special">(</span><span class="annot"><span class="annottext">Word
</span><a href="#local-6989586621679095943"><span class="hs-identifier hs-var">n</span></a></span><span class="annot"><span class="annottext">Word -&gt; Word -&gt; Word
forall a. Num a =&gt; a -&gt; a -&gt; a
</span><a href="../../base/src/GHC.Num.html#%2B"><span class="hs-operator hs-var">+</span></a></span><span class="annot"><span class="annottext">Word
</span><span class="hs-number">1</span></span><span class="hs-special">)</span><span> </span><span class="hs-special">(</span><span class="annot"><span class="annottext">a
</span><a href="#local-6989586621679095941"><span class="hs-identifier hs-var">x</span></a></span><span class="annot"><span class="annottext">a -&gt; [a] -&gt; [a]
forall a. a -&gt; [a] -&gt; [a]
</span><span class="hs-glyph hs-var">:</span></span><span class="annot"><span class="annottext">[a]
</span><a href="#local-6989586621679095942"><span class="hs-identifier hs-var">r_xs</span></a></span><span class="hs-special">)</span><span>
</span><span id="line-39"></span><span>
</span><span id="line-40"></span><span id="local-6989586621679096157"><span class="annot"><a href="SizedSeq.html#addListToSS"><span class="hs-identifier hs-type">addListToSS</span></a></span><span> </span><span class="hs-glyph">::</span><span> </span><span class="annot"><a href="SizedSeq.html#SizedSeq"><span class="hs-identifier hs-type">SizedSeq</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679096157"><span class="hs-identifier hs-type">a</span></a></span><span> </span><span class="hs-glyph">-&gt;</span><span> </span><span class="hs-special">[</span><span class="annot"><a href="#local-6989586621679096157"><span class="hs-identifier hs-type">a</span></a></span><span class="hs-special">]</span><span> </span><span class="hs-glyph">-&gt;</span><span> </span><span class="annot"><a href="SizedSeq.html#SizedSeq"><span class="hs-identifier hs-type">SizedSeq</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679096157"><span class="hs-identifier hs-type">a</span></a></span></span><span>
</span><span id="line-41"></span><span id="addListToSS"><span class="annot"><span class="annottext">addListToSS :: forall a. SizedSeq a -&gt; [a] -&gt; SizedSeq a
</span><a href="SizedSeq.html#addListToSS"><span class="hs-identifier hs-var hs-var">addListToSS</span></a></span></span><span> </span><span class="hs-special">(</span><span class="annot"><a href="SizedSeq.html#SizedSeq"><span class="hs-identifier hs-type">SizedSeq</span></a></span><span> </span><span id="local-6989586621679095937"><span class="annot"><span class="annottext">Word
</span><a href="#local-6989586621679095937"><span class="hs-identifier hs-var">n</span></a></span></span><span> </span><span id="local-6989586621679095936"><span class="annot"><span class="annottext">[a]
</span><a href="#local-6989586621679095936"><span class="hs-identifier hs-var">r_xs</span></a></span></span><span class="hs-special">)</span><span> </span><span id="local-6989586621679095935"><span class="annot"><span class="annottext">[a]
</span><a href="#local-6989586621679095935"><span class="hs-identifier hs-var">xs</span></a></span></span><span>
</span><span id="line-42"></span><span>  </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">Word -&gt; [a] -&gt; SizedSeq a
forall a. Word -&gt; [a] -&gt; SizedSeq a
</span><a href="SizedSeq.html#SizedSeq"><span class="hs-identifier hs-var">SizedSeq</span></a></span><span> </span><span class="hs-special">(</span><span class="annot"><span class="annottext">Word
</span><a href="#local-6989586621679095937"><span class="hs-identifier hs-var">n</span></a></span><span> </span><span class="annot"><span class="annottext">Word -&gt; Word -&gt; Word
forall a. Num a =&gt; a -&gt; a -&gt; a
</span><a href="../../base/src/GHC.Num.html#%2B"><span class="hs-operator hs-var">+</span></a></span><span> </span><span class="annot"><span class="annottext">[a] -&gt; Word
forall i a. Num i =&gt; [a] -&gt; i
</span><a href="../../base/src/Data.OldList.html#genericLength"><span class="hs-identifier hs-var">genericLength</span></a></span><span> </span><span class="annot"><span class="annottext">[a]
</span><a href="#local-6989586621679095935"><span class="hs-identifier hs-var">xs</span></a></span><span class="hs-special">)</span><span> </span><span class="hs-special">(</span><span class="annot"><span class="annottext">[a] -&gt; [a]
forall a. [a] -&gt; [a]
</span><a href="../../base/src/GHC.List.html#reverse"><span class="hs-identifier hs-var">reverse</span></a></span><span> </span><span class="annot"><span class="annottext">[a]
</span><a href="#local-6989586621679095935"><span class="hs-identifier hs-var">xs</span></a></span><span> </span><span class="annot"><span class="annottext">[a] -&gt; [a] -&gt; [a]
forall a. [a] -&gt; [a] -&gt; [a]
</span><a href="../../base/src/GHC.Base.html#%2B%2B"><span class="hs-operator hs-var">++</span></a></span><span> </span><span class="annot"><span class="annottext">[a]
</span><a href="#local-6989586621679095936"><span class="hs-identifier hs-var">r_xs</span></a></span><span class="hs-special">)</span><span>
</span><span id="line-43"></span><span>
</span><span id="line-44"></span><span id="local-6989586621679095933"><span class="annot"><a href="SizedSeq.html#ssElts"><span class="hs-identifier hs-type">ssElts</span></a></span><span> </span><span class="hs-glyph">::</span><span> </span><span class="annot"><a href="SizedSeq.html#SizedSeq"><span class="hs-identifier hs-type">SizedSeq</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679095933"><span class="hs-identifier hs-type">a</span></a></span><span> </span><span class="hs-glyph">-&gt;</span><span> </span><span class="hs-special">[</span><span class="annot"><a href="#local-6989586621679095933"><span class="hs-identifier hs-type">a</span></a></span><span class="hs-special">]</span></span><span>
</span><span id="line-45"></span><span id="ssElts"><span class="annot"><span class="annottext">ssElts :: forall a. SizedSeq a -&gt; [a]
</span><a href="SizedSeq.html#ssElts"><span class="hs-identifier hs-var hs-var">ssElts</span></a></span></span><span> </span><span class="hs-special">(</span><span class="annot"><a href="SizedSeq.html#SizedSeq"><span class="hs-identifier hs-type">SizedSeq</span></a></span><span> </span><span class="annot"><span class="annottext">Word
</span><span class="hs-identifier">_</span></span><span> </span><span id="local-6989586621679095932"><span class="annot"><span class="annottext">[a]
</span><a href="#local-6989586621679095932"><span class="hs-identifier hs-var">r_xs</span></a></span></span><span class="hs-special">)</span><span> </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">[a] -&gt; [a]
forall a. [a] -&gt; [a]
</span><a href="../../base/src/GHC.List.html#reverse"><span class="hs-identifier hs-var">reverse</span></a></span><span> </span><span class="annot"><span class="annottext">[a]
</span><a href="#local-6989586621679095932"><span class="hs-identifier hs-var">r_xs</span></a></span><span>
</span><span id="line-46"></span><span>
</span><span id="line-47"></span><span id="local-6989586621679096151"><span class="annot"><a href="SizedSeq.html#sizeSS"><span class="hs-identifier hs-type">sizeSS</span></a></span><span> </span><span class="hs-glyph">::</span><span> </span><span class="annot"><a href="SizedSeq.html#SizedSeq"><span class="hs-identifier hs-type">SizedSeq</span></a></span><span> </span><span class="annot"><a href="#local-6989586621679096151"><span class="hs-identifier hs-type">a</span></a></span><span> </span><span class="hs-glyph">-&gt;</span><span> </span><span class="annot"><span class="hs-identifier hs-type">Word</span></span></span><span>
</span><span id="line-48"></span><span id="sizeSS"><span class="annot"><span class="annottext">sizeSS :: forall a. SizedSeq a -&gt; Word
</span><a href="SizedSeq.html#sizeSS"><span class="hs-identifier hs-var hs-var">sizeSS</span></a></span></span><span> </span><span class="hs-special">(</span><span class="annot"><a href="SizedSeq.html#SizedSeq"><span class="hs-identifier hs-type">SizedSeq</span></a></span><span> </span><span id="local-6989586621679095931"><span class="annot"><span class="annottext">Word
</span><a href="#local-6989586621679095931"><span class="hs-identifier hs-var">n</span></a></span></span><span> </span><span class="annot"><span class="annottext">[a]
</span><span class="hs-identifier">_</span></span><span class="hs-special">)</span><span> </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">Word
</span><a href="#local-6989586621679095931"><span class="hs-identifier hs-var">n</span></a></span><span>
</span><span id="line-49"></span></pre></body></html>